Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
191	A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Source code Programming language implementation Functional languages Logic in computer science Programming language semantics Scheme Semantics Partial evaluation Programming language Macro Interpreter Action semantics
192	CLASSIFYING THE SMOOTHNESS OF IMAGES: THEORY AND APPLICATIONS TO WAVELET IMAGE PROCESSING∗ RONALD A. DeVORE1 , University of South Carolina, and BRADLEY J. LUCIER2 , Purdue University Abstract Devore, Jawerth, and Luci Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2013-04-29 15:53:32 Functional analysis Signal processing Wavelets Timefrequency analysis Haar wavelet Distribution Orthogonal wavelet Fast wavelet transform Dual space Sobolev space Linear temporal logic Spline wavelet
193	Interpreting Translation-Invariant Wavelet Shrinkage as A New Image Smoothing Scale Space Antonin Chambolle1 and Bradley J. Lucier2 (Senior Member, IEEE ) Abstract Coifman and Donoho suggested translation-invariant wavel Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2000-09-04 23:06:14 Operator theory Signal processing Timefrequency analysis Functional analysis Wavelets Contraction Heat equation Discrete wavelet transform Operator Limit Differential forms on a Riemann surface Linear temporal logic
194	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
195	Répertoire International de Littérature Musicale International Repertory of Music Literature Internationales Repertorium der Musikliteratur How to write a RILM abstract There is a brief version of this document, with t Add to Reading List Source URL: www.rilm.org Language: English - Date: 2015-10-22 11:24:06 Rpertoire International de Littrature Musicale Academic publishing Publishing Abstract Philosophical logic Sovereign state Reference
196	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
197	CUBULATING HYPERBOLIC FREE-BY-CYCLIC GROUPS: THE IRREDUCIBLE CASE MARK F. HAGEN AND DANIEL T. WISE Abstract. Let V be a nite graph and let φ : V → V be an irreducible train track map whose mapping torus has word-hype Add to Reading List Source URL: www.wescac.net Language: English - Date: 2015-08-17 19:52:03 Geometric group theory Geometric topology Train track map Free group Universal property Dynamical system Fiber bundle Orbifold Linear temporal logic
198	ABSTRACT: MIDLANDS LOGIC SEMINAR, BIRMINGHAM, NOVEMBER 8, 2013. TRISTRAM DE PIRO I will give a proof of the Fourier Inversion Theorem for functions f : R → R, belonging to the Schwartz class, (∗), using the methods o Add to Reading List Source URL: midlandslogic.org.uk Language: English - Date: 2013-10-29 19:32:04 Integral transforms Joseph Fourier Mathematical physics Generalized functions Fourier analysis Fourier inversion theorem Fourier Fourier series
199	Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers) Add to Reading List Source URL: users.ugent.be Language: English - Date: 2014-09-18 05:58:35 Programming paradigms Logic in computer science Constraint programming Prolog Constraint Handling Rules Abstract machine Operational semantics Abstract data type Semantics Functional programming Logic programming Coq
200	Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Abstract Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Ontology Information science Semantic Web Technical communication Knowledge representation Tbox Abox Knowledge representation and reasoning Web Ontology Language Description logic Ordered geometry Concept

UPDATE